construct a file path in Java